The Lattice of Definable Equivalence Relations in Homogeneous $n$-Dimensional Permutation Structures
نویسندگان
چکیده
منابع مشابه
The Lattice of Definable Equivalence Relations in Homogeneous $n$-Dimensional Permutation Structures
In Homogeneous permutations, Peter Cameron [Electronic Journal of Combinatorics 2002] classified the homogeneous permutations (homogeneous structures with 2 linear orders), and posed the problem of classifying the homogeneous ndimensional permutation structures (homogeneous structures with n linear orders) for all finite n. We prove here that the lattice of ∅-definable equivalence relations in ...
متن کاملDefinable Transversals of Analytic Equivalence Relations
We examine the circumstances under which certain analytic equivalence relations on Polish spaces have definable transversals.
متن کاملZeta Functions from Definable Equivalence Relations
We prove that the theory of the p-adics Qp, together with a set of explicitly given sorts, admits elimination of imaginaries. Using p-adic integration, we deduce the rationality of certain formal zeta functions arising from definable equivalence relations. As an application, we prove rationality results for zeta functions obtained by counting isomorphism classes of irreducible representations o...
متن کاملComputability in the Lattice of Equivalence Relations
Citation for published version (APA): Moyen, J-Y., & Simonsen, J. G. (2017). Computability in the lattice of equivalence relations. In G. Bonfante, & G. Moser (Eds.), Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis (pp. 38-46). Open Publishing Association. Electronic Proceedings in Theoreti...
متن کاملOn the Size of Quotients by Definable Equivalence Relations
The study of simply definable equivalence relations, and in particular of Borei and analytic ones, on Polish spaces, has attracted a lot of attention in descriptive set theory since 1970, when the first fundamental result in the subject, Silver's theorem, was proved. One motivation has certainly been the conjecture of Vaught in model theory, one of the oldest still open problems in mathematical...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Electronic Journal of Combinatorics
سال: 2016
ISSN: 1077-8926
DOI: 10.37236/5980